Wyniki
-
The NSnxm-propositional Calculus
A.V. Figallo, C.A. Sanza
Bulletin of the Section of Logic , 37 /2 (2008) s. 67-79 -
Opening address: Paraconsistent logic
Newton C.A. da Costa
Logic and Logical Philosophy 7 (1999) s. 25-34 -
On the problem of Jaskowski and the logics of Lukasiewicz
Jerzy Kotas, Newton C.A. da Costa
Bulletin of the Section of Logic , 7 /2 (1978) s. 91 -
Incomplete satisfiability problems
Newton C.A. da Costa, F.A. Doria
Bulletin of the Section of Logic , 22 /4 (1993) s. 150-157 -
A note on temporal logic
Newton C.A. da Costa, S. French
Bulletin of the Section of Logic , 18 /2 (1989) s. 51-121 -
On the existence of very difficult satisfiability problem
Newton C.A. da Costa, F.A. Doria
Bulletin of the Section of Logic , 21 /4 (1992) s. 122-133 -
Relations between paraconsistent logic and many-valued logic
Newton C.A. da Costa, Elias H. Alves
Bulletin of the Section of Logic , 10 /4 (1981) s. 185-190 -
Carnot's logic
Newton C.A. da costa, Jean-Yves Beziau
Bulletin of the Section of Logic , 22 /3 (1993) s. 98-105 -
Logic with deontic and legal modalities : preliminary account
Leila Z. Puga, Newton C.A. da Costa
Bulletin of the Section of Logic , 16 /2 (1987) s. 71-75 -
The undecidability of formal definitions in the theory of finite groups
Newton C.A. da Costa, F.A. Doria, Marcelo Tsuji
Bulletin of the Section of Logic , 24 /2 (1995) s. 56-63 -
k-transforms in classical and paraconsistent logics
Newton C.A. da Costa, Roque da C. Caiero
Logic and Logical Philosophy 7 (1999) s. 63-80